top

  Info

  • Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.

  Info

  • Utilizzare questo link per rimuovere la selezione effettuata.
2007 IEEE Symposium on Artificial Life, Honolulu, HI, 1-5 April 2007
2007 IEEE Symposium on Artificial Life, Honolulu, HI, 1-5 April 2007
Pubbl/distr/stampa [Place of publication not identified], : IEEE, 2006
Disciplina 006.3
Soggetto topico Artificial intelligence - Computer simulation
Biological systems
Computer Science
Engineering & Applied Sciences
ISBN 1-5090-8716-8
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNISA-996201767803316
[Place of publication not identified], : IEEE, 2006
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui
2007 IEEE Symposium on Artificial Life, Honolulu, HI, 1-5 April 2007
2007 IEEE Symposium on Artificial Life, Honolulu, HI, 1-5 April 2007
Pubbl/distr/stampa [Place of publication not identified], : IEEE, 2006
Disciplina 006.3
Soggetto topico Artificial intelligence - Computer simulation
Biological systems
Computer Science
Engineering & Applied Sciences
ISBN 1-5090-8716-8
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNINA-9910143038803321
[Place of publication not identified], : IEEE, 2006
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
Computational models of argument : proceedings of COMMA 2014 / / edited by Simon Parsons [and three others]
Computational models of argument : proceedings of COMMA 2014 / / edited by Simon Parsons [and three others]
Pubbl/distr/stampa Amsterdam, Netherlands : , : IOS Press, , 2014
Descrizione fisica 1 online resource (500 p.)
Disciplina 006.3
Collana Frontiers in Artificial Intelligence and Applications
Soggetto topico Artificial intelligence - Computer simulation
Reasoning - Computer simulation
Soggetto genere / forma Electronic books.
ISBN 1-61499-436-6
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto ""Title Page""; ""Preface""; ""Programme Committee""; ""Contents""; ""Invited Papers""; ""On the Properties of the Relation Between Argumentation Semantics and Argumentation Inference Operators""; ""Innovative Applications""; ""Understanding Narratives with Argumentation""; ""Financial Dialogue Games: A Protocol for Earnings Conference Calls""; ""Story Comprehension Through Argumentation""; ""A Discourse Grammar for Processing Arguments in Context""; ""Spoken Interaction with Broadcast Debates""; ""Lakatos Games for Mathematical Argument""
""Towards Argumentation for Statistical Model Selection""""Regular Papers""; ""Preferential Reasoning Based on Abstract Argumentation Semantics""; ""Dynamic Derivations for Sequent-Based Logical Argumentation""; ""Query Failure Explanation in Inconsistent Knowledge Bases Using Argumentation""; ""Taking the Long View: Looking Ahead in Practical Reasoning""; ""On Rationality Conditions for Epistemic Probabilities in Abstract Argumentation""; ""Towards an Integrated Theory of Causal Scenarios and Evidential Arguments""; ""Generalising Argument Dialogue with the Dialogue Game Execution Platform""
""Benchmarking Hard Problems in Random Abstract AFs: The Stable Semantics""""Coalitional Games for Abstract Argumentation""; ""Complexity Properties of Critical Sets of Arguments""; ""Towards Argument Mining from Dialogue""; ""Strong Admissibility Revisited""; ""Preferences and Unrestricted Rebut""; ""Algorithm Selection for Preferred Extensions Enumeration""; ""The DIAMOND System for Computing with Abstract Dialectical Frameworks""; ""Reasoning in Abstract Dialectical Frameworks Using Quantified Boolean Formulas""; ""Multi-Valued and Probabilistic Argumentation Frameworks""
""Properties of Random VAFs and Implications for Efficient Algorithms""""Resolution-Based Grounded Semantics Revisited""; ""Decomposing Abstract Dialectical Frameworks""; ""A Principled Approach to the Implementation of Argumentation Models""; ""Combining Paraconsistent Logic with Argumentation""; ""Probabilistic Argument Graphs for Argumentation Lotteries""; ""Enthymeme Construction in Dialogues Using Shared Knowledge""; ""Strategies in Dialogues: A Game-Theoretic Approach""; ""Argumentation Logic""; ""Splitting Abstract Dialectical Frameworks""
""Revisiting Support in Abstract Argumentation Systems""""A Self-Correcting Iteration Schema for Argumentation Networks""; ""Counterfactual Reasoning in Argumentation Frameworks""; ""Balanced Semantics for Argumentation Based on Heider's Socio-Psychological Balance Theory""; ""Complete Assumption Labellings""; ""On Controversiality of Arguments and Stratified Labelings""; ""An ASPIC-Based Legal Argumentation Framework for Deontic Reasoning""; ""Arguments and Their Strength: Revisiting Pollock's Anti-Probabilistic Starting Points""; ""Demonstrations""
""Support for Factor-Based Argumentation""
Record Nr. UNINA-9910463851403321
Amsterdam, Netherlands : , : IOS Press, , 2014
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
Computational models of argument : proceedings of COMMA 2014 / / edited by Simon Parsons [and three others]
Computational models of argument : proceedings of COMMA 2014 / / edited by Simon Parsons [and three others]
Pubbl/distr/stampa Amsterdam, Netherlands : , : IOS Press, , 2014
Descrizione fisica 1 online resource (500 p.)
Disciplina 006.3
Collana Frontiers in Artificial Intelligence and Applications
Soggetto topico Artificial intelligence - Computer simulation
Reasoning - Computer simulation
ISBN 1-61499-436-6
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto ""Title Page""; ""Preface""; ""Programme Committee""; ""Contents""; ""Invited Papers""; ""On the Properties of the Relation Between Argumentation Semantics and Argumentation Inference Operators""; ""Innovative Applications""; ""Understanding Narratives with Argumentation""; ""Financial Dialogue Games: A Protocol for Earnings Conference Calls""; ""Story Comprehension Through Argumentation""; ""A Discourse Grammar for Processing Arguments in Context""; ""Spoken Interaction with Broadcast Debates""; ""Lakatos Games for Mathematical Argument""
""Towards Argumentation for Statistical Model Selection""""Regular Papers""; ""Preferential Reasoning Based on Abstract Argumentation Semantics""; ""Dynamic Derivations for Sequent-Based Logical Argumentation""; ""Query Failure Explanation in Inconsistent Knowledge Bases Using Argumentation""; ""Taking the Long View: Looking Ahead in Practical Reasoning""; ""On Rationality Conditions for Epistemic Probabilities in Abstract Argumentation""; ""Towards an Integrated Theory of Causal Scenarios and Evidential Arguments""; ""Generalising Argument Dialogue with the Dialogue Game Execution Platform""
""Benchmarking Hard Problems in Random Abstract AFs: The Stable Semantics""""Coalitional Games for Abstract Argumentation""; ""Complexity Properties of Critical Sets of Arguments""; ""Towards Argument Mining from Dialogue""; ""Strong Admissibility Revisited""; ""Preferences and Unrestricted Rebut""; ""Algorithm Selection for Preferred Extensions Enumeration""; ""The DIAMOND System for Computing with Abstract Dialectical Frameworks""; ""Reasoning in Abstract Dialectical Frameworks Using Quantified Boolean Formulas""; ""Multi-Valued and Probabilistic Argumentation Frameworks""
""Properties of Random VAFs and Implications for Efficient Algorithms""""Resolution-Based Grounded Semantics Revisited""; ""Decomposing Abstract Dialectical Frameworks""; ""A Principled Approach to the Implementation of Argumentation Models""; ""Combining Paraconsistent Logic with Argumentation""; ""Probabilistic Argument Graphs for Argumentation Lotteries""; ""Enthymeme Construction in Dialogues Using Shared Knowledge""; ""Strategies in Dialogues: A Game-Theoretic Approach""; ""Argumentation Logic""; ""Splitting Abstract Dialectical Frameworks""
""Revisiting Support in Abstract Argumentation Systems""""A Self-Correcting Iteration Schema for Argumentation Networks""; ""Counterfactual Reasoning in Argumentation Frameworks""; ""Balanced Semantics for Argumentation Based on Heider's Socio-Psychological Balance Theory""; ""Complete Assumption Labellings""; ""On Controversiality of Arguments and Stratified Labelings""; ""An ASPIC-Based Legal Argumentation Framework for Deontic Reasoning""; ""Arguments and Their Strength: Revisiting Pollock's Anti-Probabilistic Starting Points""; ""Demonstrations""
""Support for Factor-Based Argumentation""
Record Nr. UNINA-9910788089903321
Amsterdam, Netherlands : , : IOS Press, , 2014
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
Computational models of argument : proceedings of COMMA 2014 / / edited by Simon Parsons [and three others]
Computational models of argument : proceedings of COMMA 2014 / / edited by Simon Parsons [and three others]
Pubbl/distr/stampa Amsterdam, Netherlands : , : IOS Press, , 2014
Descrizione fisica 1 online resource (500 p.)
Disciplina 006.3
Collana Frontiers in Artificial Intelligence and Applications
Soggetto topico Artificial intelligence - Computer simulation
Reasoning - Computer simulation
ISBN 1-61499-436-6
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto ""Title Page""; ""Preface""; ""Programme Committee""; ""Contents""; ""Invited Papers""; ""On the Properties of the Relation Between Argumentation Semantics and Argumentation Inference Operators""; ""Innovative Applications""; ""Understanding Narratives with Argumentation""; ""Financial Dialogue Games: A Protocol for Earnings Conference Calls""; ""Story Comprehension Through Argumentation""; ""A Discourse Grammar for Processing Arguments in Context""; ""Spoken Interaction with Broadcast Debates""; ""Lakatos Games for Mathematical Argument""
""Towards Argumentation for Statistical Model Selection""""Regular Papers""; ""Preferential Reasoning Based on Abstract Argumentation Semantics""; ""Dynamic Derivations for Sequent-Based Logical Argumentation""; ""Query Failure Explanation in Inconsistent Knowledge Bases Using Argumentation""; ""Taking the Long View: Looking Ahead in Practical Reasoning""; ""On Rationality Conditions for Epistemic Probabilities in Abstract Argumentation""; ""Towards an Integrated Theory of Causal Scenarios and Evidential Arguments""; ""Generalising Argument Dialogue with the Dialogue Game Execution Platform""
""Benchmarking Hard Problems in Random Abstract AFs: The Stable Semantics""""Coalitional Games for Abstract Argumentation""; ""Complexity Properties of Critical Sets of Arguments""; ""Towards Argument Mining from Dialogue""; ""Strong Admissibility Revisited""; ""Preferences and Unrestricted Rebut""; ""Algorithm Selection for Preferred Extensions Enumeration""; ""The DIAMOND System for Computing with Abstract Dialectical Frameworks""; ""Reasoning in Abstract Dialectical Frameworks Using Quantified Boolean Formulas""; ""Multi-Valued and Probabilistic Argumentation Frameworks""
""Properties of Random VAFs and Implications for Efficient Algorithms""""Resolution-Based Grounded Semantics Revisited""; ""Decomposing Abstract Dialectical Frameworks""; ""A Principled Approach to the Implementation of Argumentation Models""; ""Combining Paraconsistent Logic with Argumentation""; ""Probabilistic Argument Graphs for Argumentation Lotteries""; ""Enthymeme Construction in Dialogues Using Shared Knowledge""; ""Strategies in Dialogues: A Game-Theoretic Approach""; ""Argumentation Logic""; ""Splitting Abstract Dialectical Frameworks""
""Revisiting Support in Abstract Argumentation Systems""""A Self-Correcting Iteration Schema for Argumentation Networks""; ""Counterfactual Reasoning in Argumentation Frameworks""; ""Balanced Semantics for Argumentation Based on Heider's Socio-Psychological Balance Theory""; ""Complete Assumption Labellings""; ""On Controversiality of Arguments and Stratified Labelings""; ""An ASPIC-Based Legal Argumentation Framework for Deontic Reasoning""; ""Arguments and Their Strength: Revisiting Pollock's Anti-Probabilistic Starting Points""; ""Demonstrations""
""Support for Factor-Based Argumentation""
Record Nr. UNINA-9910812132303321
Amsterdam, Netherlands : , : IOS Press, , 2014
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
Computational models of argument [[electronic resource] ] : Proceedings of COMMA 2012 / / edited by Bart Verheij, Stefan Szeider and Stefan Woltran
Computational models of argument [[electronic resource] ] : Proceedings of COMMA 2012 / / edited by Bart Verheij, Stefan Szeider and Stefan Woltran
Pubbl/distr/stampa Amsterdam, : IOS Press, 2012
Descrizione fisica 1 online resource (536 p.)
Disciplina 003.5
Altri autori (Persone) VerheijBart
SzeiderStefan
WotlranStefan
Collana Frontiers in artificial intelligence and applications Computational models of argument
Soggetto topico Artificial intelligence - Computer simulation
Reasoning - Computer simulation
Soggetto genere / forma Electronic books.
ISBN 1-299-33330-3
1-61499-111-1
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Title Page; Preface; Programme Committee; Additional Reviewers; Contents; Part I. Invited Talks; The Long and Winding Road: Forty Years of Argumentation; Formal Dialectic: From Aristotle to Pragma-Dialectics, and Beyond; Multiple Logics Within Argument: How Defeasible and Classical Reasoning Work Together; Part II. Innovative Applications; Some Facets of Argument Mining for Opinion Analysis; An Inquiry Learning Environment for Scientific Argumentation; Semi-Automated Argumentative Analysis of Online Product Reviews; Arguing with Preferences in EcoBioCap
An Analysis and Hypothesis Generation Platform for Heterogeneous Cancer DatabasesMaking Sense of Macro- and Micro-Argumentation in Policy-Deliberation: Visualisation Techniques and Representation Formats; Towards an Argument-Based Music Recommender System; Arguing About Firewall Policy; Part III. Regular Papers; A General QBF-Based Formalization of Abstract Argumentation Theory; Some Foundations for Probabilistic Abstract Argumentation; Argument Aggregation: Basic Axioms and Complexity Results; The Equational Approach to CF2 Semantics
Argumentation Games for Admissibility and Cogency CriteriaUniform Argumentation Frameworks; Dishonest Arguments in Debate Games; On the Use of Presumptions in Structured Defeasible Reasoning; Automated Deployment of Argumentation Protocols; On Preferred Extension Enumeration in Abstract Argumentation; Towards Experimental Algorithms for Abstract Argumentation; A Dialogue Game for Coalition Structure Generation with Self-Interested Agents; Complexity of Logic-Based Argumentation in Schaefer's Framework; Argumentation Dialogues for Two-Agent Conflict Resolution
Comparing the Expressiveness of Argumentation SemanticsComputational Aspects of cf2 and stage2 Argumentation Semantics; Tactics and Concessions for Argumentation-Based Negotiation; Default Reasoning About Actions via Abstract Argumentation; Resolutions in Structured Argumentation; Mechanism Design for Argumentation-Based Persuasion; Persuasion Strategies for Argumentation About Plans; Selecting Extensions in Weighted Argumentation Frameworks; Group Persuasion Through Uncertain Audience Modelling; On Input/Output Argumentation Frameworks; Dialogue Templates for Automatic Argument Processing
Valued-Based Argumentation for Tree-Like Value GraphsInterchanging Arguments Between Carneades and AIF; Towards Argument-Based Foundation for Sceptical and Credulous Dialogue Games; The Structure of Ad Hominem Dialogues; Towards Argumentation About Subjective Probabilities; Argument Schemes for Reasoning About Trust; Clarifying Some Misconceptions on the ASPIC+ Framework; Generating Abstract Arguments: A Natural Language Approach; Towards Argumentation with Symbolic Dempster-Shafer Evidence; Conditional Acceptance Functions; Grounded Semantics as Persuasion Dialogue
Picking the Right Expert to Make a Debate Uncontroversial
Record Nr. UNINA-9910462288903321
Amsterdam, : IOS Press, 2012
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
Computational models of argument [[electronic resource] ] : Proceedings of COMMA 2012 / / edited by Bart Verheij, Stefan Szeider and Stefan Woltran
Computational models of argument [[electronic resource] ] : Proceedings of COMMA 2012 / / edited by Bart Verheij, Stefan Szeider and Stefan Woltran
Pubbl/distr/stampa Amsterdam, : IOS Press, 2012
Descrizione fisica 1 online resource (536 p.)
Disciplina 003.5
Altri autori (Persone) VerheijBart
SzeiderStefan
WotlranStefan
Collana Frontiers in artificial intelligence and applications Computational models of argument
Soggetto topico Artificial intelligence - Computer simulation
Reasoning - Computer simulation
ISBN 1-299-33330-3
1-61499-111-1
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Title Page; Preface; Programme Committee; Additional Reviewers; Contents; Part I. Invited Talks; The Long and Winding Road: Forty Years of Argumentation; Formal Dialectic: From Aristotle to Pragma-Dialectics, and Beyond; Multiple Logics Within Argument: How Defeasible and Classical Reasoning Work Together; Part II. Innovative Applications; Some Facets of Argument Mining for Opinion Analysis; An Inquiry Learning Environment for Scientific Argumentation; Semi-Automated Argumentative Analysis of Online Product Reviews; Arguing with Preferences in EcoBioCap
An Analysis and Hypothesis Generation Platform for Heterogeneous Cancer DatabasesMaking Sense of Macro- and Micro-Argumentation in Policy-Deliberation: Visualisation Techniques and Representation Formats; Towards an Argument-Based Music Recommender System; Arguing About Firewall Policy; Part III. Regular Papers; A General QBF-Based Formalization of Abstract Argumentation Theory; Some Foundations for Probabilistic Abstract Argumentation; Argument Aggregation: Basic Axioms and Complexity Results; The Equational Approach to CF2 Semantics
Argumentation Games for Admissibility and Cogency CriteriaUniform Argumentation Frameworks; Dishonest Arguments in Debate Games; On the Use of Presumptions in Structured Defeasible Reasoning; Automated Deployment of Argumentation Protocols; On Preferred Extension Enumeration in Abstract Argumentation; Towards Experimental Algorithms for Abstract Argumentation; A Dialogue Game for Coalition Structure Generation with Self-Interested Agents; Complexity of Logic-Based Argumentation in Schaefer's Framework; Argumentation Dialogues for Two-Agent Conflict Resolution
Comparing the Expressiveness of Argumentation SemanticsComputational Aspects of cf2 and stage2 Argumentation Semantics; Tactics and Concessions for Argumentation-Based Negotiation; Default Reasoning About Actions via Abstract Argumentation; Resolutions in Structured Argumentation; Mechanism Design for Argumentation-Based Persuasion; Persuasion Strategies for Argumentation About Plans; Selecting Extensions in Weighted Argumentation Frameworks; Group Persuasion Through Uncertain Audience Modelling; On Input/Output Argumentation Frameworks; Dialogue Templates for Automatic Argument Processing
Valued-Based Argumentation for Tree-Like Value GraphsInterchanging Arguments Between Carneades and AIF; Towards Argument-Based Foundation for Sceptical and Credulous Dialogue Games; The Structure of Ad Hominem Dialogues; Towards Argumentation About Subjective Probabilities; Argument Schemes for Reasoning About Trust; Clarifying Some Misconceptions on the ASPIC+ Framework; Generating Abstract Arguments: A Natural Language Approach; Towards Argumentation with Symbolic Dempster-Shafer Evidence; Conditional Acceptance Functions; Grounded Semantics as Persuasion Dialogue
Picking the Right Expert to Make a Debate Uncontroversial
Record Nr. UNINA-9910785991603321
Amsterdam, : IOS Press, 2012
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
Computational models of argument [[electronic resource] ] : Proceedings of COMMA 2012 / / edited by Bart Verheij, Stefan Szeider and Stefan Woltran
Computational models of argument [[electronic resource] ] : Proceedings of COMMA 2012 / / edited by Bart Verheij, Stefan Szeider and Stefan Woltran
Pubbl/distr/stampa Amsterdam, : IOS Press, 2012
Descrizione fisica 1 online resource (536 p.)
Disciplina 003.5
Altri autori (Persone) VerheijBart
SzeiderStefan
WotlranStefan
Collana Frontiers in artificial intelligence and applications Computational models of argument
Soggetto topico Artificial intelligence - Computer simulation
Reasoning - Computer simulation
ISBN 1-299-33330-3
1-61499-111-1
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Title Page; Preface; Programme Committee; Additional Reviewers; Contents; Part I. Invited Talks; The Long and Winding Road: Forty Years of Argumentation; Formal Dialectic: From Aristotle to Pragma-Dialectics, and Beyond; Multiple Logics Within Argument: How Defeasible and Classical Reasoning Work Together; Part II. Innovative Applications; Some Facets of Argument Mining for Opinion Analysis; An Inquiry Learning Environment for Scientific Argumentation; Semi-Automated Argumentative Analysis of Online Product Reviews; Arguing with Preferences in EcoBioCap
An Analysis and Hypothesis Generation Platform for Heterogeneous Cancer DatabasesMaking Sense of Macro- and Micro-Argumentation in Policy-Deliberation: Visualisation Techniques and Representation Formats; Towards an Argument-Based Music Recommender System; Arguing About Firewall Policy; Part III. Regular Papers; A General QBF-Based Formalization of Abstract Argumentation Theory; Some Foundations for Probabilistic Abstract Argumentation; Argument Aggregation: Basic Axioms and Complexity Results; The Equational Approach to CF2 Semantics
Argumentation Games for Admissibility and Cogency CriteriaUniform Argumentation Frameworks; Dishonest Arguments in Debate Games; On the Use of Presumptions in Structured Defeasible Reasoning; Automated Deployment of Argumentation Protocols; On Preferred Extension Enumeration in Abstract Argumentation; Towards Experimental Algorithms for Abstract Argumentation; A Dialogue Game for Coalition Structure Generation with Self-Interested Agents; Complexity of Logic-Based Argumentation in Schaefer's Framework; Argumentation Dialogues for Two-Agent Conflict Resolution
Comparing the Expressiveness of Argumentation SemanticsComputational Aspects of cf2 and stage2 Argumentation Semantics; Tactics and Concessions for Argumentation-Based Negotiation; Default Reasoning About Actions via Abstract Argumentation; Resolutions in Structured Argumentation; Mechanism Design for Argumentation-Based Persuasion; Persuasion Strategies for Argumentation About Plans; Selecting Extensions in Weighted Argumentation Frameworks; Group Persuasion Through Uncertain Audience Modelling; On Input/Output Argumentation Frameworks; Dialogue Templates for Automatic Argument Processing
Valued-Based Argumentation for Tree-Like Value GraphsInterchanging Arguments Between Carneades and AIF; Towards Argument-Based Foundation for Sceptical and Credulous Dialogue Games; The Structure of Ad Hominem Dialogues; Towards Argumentation About Subjective Probabilities; Argument Schemes for Reasoning About Trust; Clarifying Some Misconceptions on the ASPIC+ Framework; Generating Abstract Arguments: A Natural Language Approach; Towards Argumentation with Symbolic Dempster-Shafer Evidence; Conditional Acceptance Functions; Grounded Semantics as Persuasion Dialogue
Picking the Right Expert to Make a Debate Uncontroversial
Record Nr. UNINA-9910819666903321
Amsterdam, : IOS Press, 2012
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui